[next] [prev] [prev-tail] [tail] [up]

2.2.4 Integrals 301 to 400

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 301

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

92 68 81 116 0 0 0 0 0

N.S.

1 0.74 0.88 1.26 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.511 0.277 0.506 0.000 0.000 0.000 0.000 0.000

Problem 302

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 35 54 55 0 65 0 0 0

N.S.

1 1.00 1.54 1.57 0.00 1.86 0.00 0.00 0.00

time (sec)

N/A 0.227 0.140 0.692 0.000 0.252 0.000 0.000 0.000

Problem 303

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

28 28 30 26 28 49 27 0 28

N.S.

1 1.00 1.07 0.93 1.00 1.75 0.96 0.00 1.00

time (sec)

N/A 0.294 1.663 1.174 0.283 0.252 2.059 0.000 2.754

Problem 304

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

28 28 30 26 28 53 29 28 28

N.S.

1 1.00 1.07 0.93 1.00 1.89 1.04 1.00 1.00

time (sec)

N/A 0.304 2.373 1.110 0.280 0.243 3.676 0.313 2.862

Problem 305

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

28 28 30 26 28 63 27 28 28

N.S.

1 1.00 1.07 0.93 1.00 2.25 0.96 1.00 1.00

time (sec)

N/A 0.313 4.836 0.516 0.322 0.254 8.695 0.344 3.170

Problem 306

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

26 26 28 24 26 61 26 0 26

N.S.

1 1.00 1.08 0.92 1.00 2.35 1.00 0.00 1.00

time (sec)

N/A 0.275 6.911 1.050 0.295 0.268 8.073 0.000 2.814

Problem 307

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

25 25 27 23 25 60 26 25 25

N.S.

1 1.00 1.08 0.92 1.00 2.40 1.04 1.00 1.00

time (sec)

N/A 0.232 0.193 0.925 0.297 0.255 6.765 0.325 2.724

Problem 308

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

28 28 30 26 28 64 27 0 28

N.S.

1 1.00 1.07 0.93 1.00 2.29 0.96 0.00 1.00

time (sec)

N/A 0.317 8.682 1.000 0.307 0.238 21.220 0.000 3.192

Problem 309

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

28 28 30 26 28 68 29 28 28

N.S.

1 1.00 1.07 0.93 1.00 2.43 1.04 1.00 1.00

time (sec)

N/A 0.312 9.981 1.092 0.309 0.255 48.171 0.336 2.861

Problem 310

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

28 28 30 26 28 38 0 0 28

N.S.

1 1.00 1.07 0.93 1.00 1.36 0.00 0.00 1.00

time (sec)

N/A 0.300 1.452 1.651 0.285 0.259 0.000 0.000 2.741

Problem 311

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

28 28 30 26 28 28 27 0 28

N.S.

1 1.00 1.07 0.93 1.00 1.00 0.96 0.00 1.00

time (sec)

N/A 0.289 0.280 1.353 0.287 0.249 2.672 0.000 2.713

Problem 312

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

28 28 30 26 28 50 27 28 28

N.S.

1 1.00 1.07 0.93 1.00 1.79 0.96 1.00 1.00

time (sec)

N/A 0.297 1.020 1.207 0.288 0.265 2.979 0.325 3.349

Problem 313

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

28 28 30 26 28 63 27 28 28

N.S.

1 1.00 1.07 0.93 1.00 2.25 0.96 1.00 1.00

time (sec)

N/A 0.303 1.487 1.457 0.324 0.262 83.053 0.333 3.471

Problem 314

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

28 28 30 26 28 86 0 28 28

N.S.

1 1.00 1.07 0.93 1.00 3.07 0.00 1.00 1.00

time (sec)

N/A 0.301 1.912 1.987 0.319 0.257 0.000 0.346 3.827

Problem 315

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

98 83 257 107 0 0 0 0 0

N.S.

1 0.85 2.62 1.09 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.638 0.528 0.849 0.000 0.000 0.000 0.000 0.000

Problem 316

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B A F F F F F(-1)

verified

N/A Yes No Yes TBD TBD TBD TBD TBD

size

82 73 194 87 0 0 0 0 0

N.S.

1 0.89 2.37 1.06 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.604 0.344 0.490 0.000 0.000 0.000 0.000 0.000

Problem 317

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

58 57 65 61 0 0 0 0 0

N.S.

1 0.98 1.12 1.05 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.541 0.280 0.210 0.000 0.000 0.000 0.000 0.000

Problem 318

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

20 20 22 20 259 24 26 24 22

N.S.

1 1.00 1.10 1.00 12.95 1.20 1.30 1.20 1.10

time (sec)

N/A 0.514 2.897 0.661 0.415 0.248 2.633 0.300 2.703

Problem 319

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

20 20 22 20 351 36 41 23 22

N.S.

1 1.00 1.10 1.00 17.55 1.80 2.05 1.15 1.10

time (sec)

N/A 0.497 8.902 0.266 0.430 0.243 12.413 0.301 2.686

Problem 320

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

350 352 322 555 0 0 0 0 0

N.S.

1 1.01 0.92 1.59 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.051 0.559 1.308 0.000 0.000 0.000 0.000 0.000

Problem 321

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A B F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

154 262 130 279 0 0 0 0 0

N.S.

1 1.70 0.84 1.81 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.267 0.435 0.583 0.000 0.000 0.000 0.000 0.000

Problem 322

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

248 252 217 405 0 0 0 0 0

N.S.

1 1.02 0.88 1.63 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.298 0.381 0.636 0.000 0.000 0.000 0.000 0.000

Problem 323

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A B F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

146 131 121 269 0 0 0 0 0

N.S.

1 0.90 0.83 1.84 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.746 0.205 0.765 0.000 0.000 0.000 0.000 0.000

Problem 324

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

28 28 30 26 442 43 27 0 28

N.S.

1 1.00 1.07 0.93 15.79 1.54 0.96 0.00 1.00

time (sec)

N/A 1.024 9.975 1.041 0.692 0.253 2.860 0.000 3.000

Problem 325

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

28 28 30 26 427 49 29 28 28

N.S.

1 1.00 1.07 0.93 15.25 1.75 1.04 1.00 1.00

time (sec)

N/A 0.422 3.957 0.967 0.571 0.258 7.052 0.324 2.860

Problem 326

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

28 28 30 26 453 49 29 0 28

N.S.

1 1.00 1.07 0.93 16.18 1.75 1.04 0.00 1.00

time (sec)

N/A 0.290 97.628 1.207 0.772 0.271 21.382 0.000 3.451

Problem 327

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

28 28 30 26 456 49 29 28 28

N.S.

1 1.00 1.07 0.93 16.29 1.75 1.04 1.00 1.00

time (sec)

N/A 0.295 5.621 1.125 0.757 0.264 48.470 0.313 3.161

Problem 328

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

354 310 338 599 0 0 0 0 0

N.S.

1 0.88 0.95 1.69 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.304 0.849 0.792 0.000 0.000 0.000 0.000 0.000

Problem 329

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

348 360 327 583 0 0 0 0 0

N.S.

1 1.03 0.94 1.68 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.047 0.751 0.963 0.000 0.000 0.000 0.000 0.000

Problem 330

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

246 179 232 445 0 0 0 0 0

N.S.

1 0.73 0.94 1.81 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.755 0.490 0.920 0.000 0.000 0.000 0.000 0.000

Problem 331

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

28 28 30 26 476 43 27 0 28

N.S.

1 1.00 1.07 0.93 17.00 1.54 0.96 0.00 1.00

time (sec)

N/A 1.674 18.830 1.638 0.848 0.259 20.421 0.000 3.266

Problem 332

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

28 28 30 26 484 49 29 28 28

N.S.

1 1.00 1.07 0.93 17.29 1.75 1.04 1.00 1.00

time (sec)

N/A 0.835 20.941 1.378 0.941 0.248 65.610 0.312 2.925

Problem 333

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A F(-1) N/A N/A N/A N/A F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

28 28 0 26 483 49 29 0 28

N.S.

1 1.00 0.00 0.93 17.25 1.75 1.04 0.00 1.00

time (sec)

N/A 0.302 0.000 1.139 0.921 0.257 176.193 0.000 3.388

Problem 334

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A F(-1) N/A N/A N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

28 28 0 26 469 49 0 28 28

N.S.

1 1.00 0.00 0.93 16.75 1.75 0.00 1.00 1.00

time (sec)

N/A 0.650 0.000 1.151 0.767 0.262 0.000 0.322 3.520

Problem 335

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

454 460 446 773 0 0 0 0 0

N.S.

1 1.01 0.98 1.70 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.735 1.333 0.913 0.000 0.000 0.000 0.000 0.000

Problem 336

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A F F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

448 464 436 759 0 0 0 0 0

N.S.

1 1.04 0.97 1.69 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.845 1.136 0.845 0.000 0.000 0.000 0.000 0.000

Problem 337

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B F F F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

351 229 343 623 0 0 0 0 0

N.S.

1 0.65 0.98 1.77 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.919 0.828 0.954 0.000 0.000 0.000 0.000 0.000

Problem 338

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

28 28 30 26 524 60 0 0 28

N.S.

1 1.00 1.07 0.93 18.71 2.14 0.00 0.00 1.00

time (sec)

N/A 2.372 16.723 0.958 1.095 0.257 0.000 0.000 3.457

Problem 339

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

28 28 30 26 534 66 0 28 28

N.S.

1 1.00 1.07 0.93 19.07 2.36 0.00 1.00 1.00

time (sec)

N/A 1.066 23.018 0.851 1.161 0.251 0.000 0.328 3.326

Problem 340

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

28 28 30 26 534 66 0 0 28

N.S.

1 1.00 1.07 0.93 19.07 2.36 0.00 0.00 1.00

time (sec)

N/A 0.308 165.753 1.724 1.150 0.254 0.000 0.000 3.367

Problem 341

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A F(-1) N/A N/A N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

28 28 0 26 533 66 0 28 28

N.S.

1 1.00 0.00 0.93 19.04 2.36 0.00 1.00 1.00

time (sec)

N/A 0.308 0.000 1.434 1.153 0.259 0.000 0.334 3.219

Problem 342

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

337 215 190 519 0 0 0 0 0

N.S.

1 0.64 0.56 1.54 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.762 0.498 0.974 0.000 0.000 0.000 0.000 0.000

Problem 343

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

236 169 149 387 0 0 0 0 0

N.S.

1 0.72 0.63 1.64 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.693 0.366 0.868 0.000 0.000 0.000 0.000 0.000

Problem 344

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F F F(-2) F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

237 165 144 375 0 0 0 0 0

N.S.

1 0.70 0.61 1.58 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.679 0.335 1.167 0.000 0.000 0.000 0.000 0.000

Problem 345

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

136 121 117 243 0 0 0 0 0

N.S.

1 0.89 0.86 1.79 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.814 0.283 0.767 0.000 0.000 0.000 0.000 0.000

Problem 346

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A A F F F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

130 115 107 225 0 0 0 0 0

N.S.

1 0.88 0.82 1.73 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.652 0.240 0.605 0.000 0.000 0.000 0.000 0.000

Problem 347

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

37 37 50 57 0 75 0 0 59

N.S.

1 1.00 1.35 1.54 0.00 2.03 0.00 0.00 1.59

time (sec)

N/A 0.226 0.026 0.520 0.000 0.258 0.000 0.000 3.349

Problem 348

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

28 28 30 26 481 80 29 0 28

N.S.

1 1.00 1.07 0.93 17.18 2.86 1.04 0.00 1.00

time (sec)

N/A 0.420 4.229 1.116 0.826 0.270 7.062 0.000 3.153

Problem 349

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

28 28 30 26 491 86 31 28 28

N.S.

1 1.00 1.07 0.93 17.54 3.07 1.11 1.00 1.00

time (sec)

N/A 0.416 1.419 0.988 0.831 0.252 21.614 0.317 3.429

Problem 350

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

28 28 30 26 531 106 29 0 28

N.S.

1 1.00 1.07 0.93 18.96 3.79 1.04 0.00 1.00

time (sec)

N/A 0.314 24.453 1.570 1.280 0.250 64.100 0.000 3.455

Problem 351

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

28 28 30 26 503 106 29 28 28

N.S.

1 1.00 1.07 0.93 17.96 3.79 1.04 1.00 1.00

time (sec)

N/A 0.707 5.619 0.536 0.951 0.271 71.187 0.339 3.263

Problem 352

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

26 26 28 24 511 104 27 0 26

N.S.

1 1.00 1.08 0.92 19.65 4.00 1.04 0.00 1.00

time (sec)

N/A 0.270 19.571 1.121 0.928 0.256 59.906 0.000 3.589

Problem 353

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

25 25 27 23 502 103 27 25 25

N.S.

1 1.00 1.08 0.92 20.08 4.12 1.08 1.00 1.00

time (sec)

N/A 0.613 3.877 1.096 0.928 0.270 47.153 0.333 3.268

Problem 354

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

28 28 30 26 530 108 29 0 28

N.S.

1 1.00 1.07 0.93 18.93 3.86 1.04 0.00 1.00

time (sec)

N/A 0.303 21.384 1.404 1.268 0.257 123.725 0.000 3.567

Problem 355

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

28 28 30 26 538 114 0 28 28

N.S.

1 1.00 1.07 0.93 19.21 4.07 0.00 1.00 1.00

time (sec)

N/A 0.309 17.592 1.297 1.292 0.258 0.000 0.352 3.570

Problem 356

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

28 28 30 26 614 144 0 28 28

N.S.

1 1.00 1.07 0.93 21.93 5.14 0.00 1.00 1.00

time (sec)

N/A 0.826 5.065 1.457 1.354 0.262 0.000 0.354 3.265

Problem 357

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

28 28 30 26 637 144 0 0 28

N.S.

1 1.00 1.07 0.93 22.75 5.14 0.00 0.00 1.00

time (sec)

N/A 0.314 39.633 1.362 1.959 0.261 0.000 0.000 3.267

Problem 358

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

28 28 30 26 635 144 0 28 28

N.S.

1 1.00 1.07 0.93 22.68 5.14 0.00 1.00 1.00

time (sec)

N/A 0.318 8.992 1.431 1.401 0.260 0.000 0.339 3.261

Problem 359

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

26 26 28 24 623 142 0 0 26

N.S.

1 1.00 1.08 0.92 23.96 5.46 0.00 0.00 1.00

time (sec)

N/A 0.273 35.325 1.327 1.685 0.261 0.000 0.000 3.282

Problem 360

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

25 25 27 23 609 141 0 25 25

N.S.

1 1.00 1.08 0.92 24.36 5.64 0.00 1.00 1.00

time (sec)

N/A 0.626 4.647 1.270 1.328 0.262 0.000 0.353 3.507

Problem 361

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

28 28 30 26 638 144 0 0 28

N.S.

1 1.00 1.07 0.93 22.79 5.14 0.00 0.00 1.00

time (sec)

N/A 0.297 30.699 1.463 1.956 0.264 0.000 0.000 3.277

Problem 362

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

28 28 30 26 647 150 0 28 28

N.S.

1 1.00 1.07 0.93 23.11 5.36 0.00 1.00 1.00

time (sec)

N/A 0.304 12.774 1.605 1.853 0.269 0.000 0.349 3.356

Problem 363

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

30 30 32 28 577 54 0 0 30

N.S.

1 1.00 1.07 0.93 19.23 1.80 0.00 0.00 1.00

time (sec)

N/A 0.311 1.607 2.604 1.950 0.261 0.000 0.000 3.176

Problem 364

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

30 30 32 28 514 44 31 0 30

N.S.

1 1.00 1.07 0.93 17.13 1.47 1.03 0.00 1.00

time (sec)

N/A 0.293 0.369 2.286 1.429 0.265 6.264 0.000 3.375

Problem 365

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

30 30 32 28 544 82 31 30 30

N.S.

1 1.00 1.07 0.93 18.13 2.73 1.03 1.00 1.00

time (sec)

N/A 0.441 1.139 1.357 0.714 0.278 24.707 0.325 3.711

Problem 366

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

30 30 32 28 596 108 0 30 30

N.S.

1 1.00 1.07 0.93 19.87 3.60 0.00 1.00 1.00

time (sec)

N/A 0.325 1.672 1.627 1.264 0.273 0.000 0.362 4.078

Problem 367

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

30 30 32 28 700 146 0 30 30

N.S.

1 1.00 1.07 0.93 23.33 4.87 0.00 1.00 1.00

time (sec)

N/A 0.319 2.065 2.462 1.284 0.267 0.000 0.379 3.892

Problem 368

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F F B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

32 32 45 51 0 56 0 0 48

N.S.

1 1.00 1.41 1.59 0.00 1.75 0.00 0.00 1.50

time (sec)

N/A 0.211 0.022 0.703 0.000 0.251 0.000 0.000 3.339

Problem 369

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F(-2) F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

259 463 300 0 0 0 0 0 0

N.S.

1 1.79 1.16 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.992 1.882 0.000 0.000 0.000 0.000 0.000 0.000

Problem 370

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

340 525 384 0 0 0 0 0 0

N.S.

1 1.54 1.13 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.941 1.286 0.000 0.000 0.000 0.000 0.000 0.000

Problem 371

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F(-2) F F(-2) F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

241 275 0 0 0 0 0 0 0

N.S.

1 1.14 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.933 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 372

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

233 231 246 0 0 0 0 0 0

N.S.

1 0.99 1.06 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.921 1.098 0.000 0.000 0.000 0.000 0.000 0.000

Problem 373

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) N/A F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

27 27 29 25 30 0 87 0 27

N.S.

1 1.00 1.07 0.93 1.11 0.00 3.22 0.00 1.00

time (sec)

N/A 3.297 1.274 1.232 1.057 0.000 8.802 0.000 3.922

Problem 374

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F(-2) F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

479 571 527 0 0 0 0 0 0

N.S.

1 1.19 1.10 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.274 2.771 0.000 0.000 0.000 0.000 0.000 0.000

Problem 375

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

462 723 498 0 0 0 0 0 0

N.S.

1 1.56 1.08 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.397 2.479 0.000 0.000 0.000 0.000 0.000 0.000

Problem 376

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A F F F F(-2) F F(-2) F(-1)

verified

N/A Yes N/A N/A TBD TBD TBD TBD TBD

size

363 567 0 0 0 0 0 0 0

N.S.

1 1.56 0.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 3.680 0.000 0.000 0.000 0.000 0.000 0.000 0.000

Problem 377

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

351 331 387 0 0 0 0 0 0

N.S.

1 0.94 1.10 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.121 1.590 0.000 0.000 0.000 0.000 0.000 0.000

Problem 378

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) N/A F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

29 29 31 27 30 0 133 0 29

N.S.

1 1.00 1.07 0.93 1.03 0.00 4.59 0.00 1.00

time (sec)

N/A 4.178 1.191 1.226 1.122 0.000 9.341 0.000 3.252

Problem 379

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A F F F(-2) F F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

351 352 154 0 0 0 0 0 0

N.S.

1 1.00 0.44 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.847 0.234 0.000 0.000 0.000 0.000 0.000 0.000

Problem 380

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A F F F(-2) F F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

205 180 117 0 0 0 0 0 0

N.S.

1 0.88 0.57 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.637 0.137 0.000 0.000 0.000 0.000 0.000 0.000

Problem 381

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F(-2) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

48 48 48 41 0 0 0 0 0

N.S.

1 1.00 1.00 0.85 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.229 0.027 0.580 0.000 0.000 0.000 0.000 0.000

Problem 382

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 20 22 0 26 22 22

N.S.

1 1.00 1.08 0.83 0.92 0.00 1.08 0.92 0.92

time (sec)

N/A 0.368 5.540 1.451 0.557 0.000 4.852 1.957 2.789

Problem 383

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 20 22 0 26 22 22

N.S.

1 1.00 1.08 0.83 0.92 0.00 1.08 0.92 0.92

time (sec)

N/A 0.960 6.064 1.335 0.507 0.000 98.580 1.951 2.754

Problem 384

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F(-1) F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

511 420 198 0 0 0 0 0 0

N.S.

1 0.82 0.39 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 4.113 0.454 0.000 0.000 0.000 0.000 0.000 0.000

Problem 385

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

302 203 136 0 0 0 0 0 0

N.S.

1 0.67 0.45 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.452 0.354 0.000 0.000 0.000 0.000 0.000 0.000

Problem 386

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F(-2) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

48 48 48 41 0 0 0 0 0

N.S.

1 1.00 1.00 0.85 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.230 0.028 0.550 0.000 0.000 0.000 0.000 0.000

Problem 387

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 20 22 0 26 22 22

N.S.

1 1.00 1.08 0.83 0.92 0.00 1.08 0.92 0.92

time (sec)

N/A 0.364 5.251 1.287 0.504 0.000 46.948 3.616 2.708

Problem 388

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A F A F F F(-2) F(-1) F(-2) F(-1)

verified

N/A N/A Yes N/A TBD TBD TBD TBD TBD

size

580 0 213 0 0 0 0 0 0

N.S.

1 0.00 0.37 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.000 0.483 0.000 0.000 0.000 0.000 0.000 0.000

Problem 389

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A F F F(-2) F(-1) F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

330 256 148 0 0 0 0 0 0

N.S.

1 0.78 0.45 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.604 0.442 0.000 0.000 0.000 0.000 0.000 0.000

Problem 390

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F(-2) F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

48 48 48 41 0 0 0 0 0

N.S.

1 1.00 1.00 0.85 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.221 0.028 0.576 0.000 0.000 0.000 0.000 0.000

Problem 391

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 20 22 0 0 22 22

N.S.

1 1.00 1.08 0.83 0.92 0.00 0.00 0.92 0.92

time (sec)

N/A 0.356 4.785 1.200 0.527 0.000 0.000 3.565 2.706

Problem 392

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A F F F(-2) F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

368 369 165 0 0 0 0 0 0

N.S.

1 1.00 0.45 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 3.276 0.347 0.000 0.000 0.000 0.000 0.000 0.000

Problem 393

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

211 186 121 0 0 0 0 0 0

N.S.

1 0.88 0.57 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.912 0.219 0.000 0.000 0.000 0.000 0.000 0.000

Problem 394

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F(-2) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

50 50 50 44 0 0 0 0 0

N.S.

1 1.00 1.00 0.88 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.219 0.046 0.570 0.000 0.000 0.000 0.000 0.000

Problem 395

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 20 22 0 20 22 22

N.S.

1 1.00 1.08 0.83 0.92 0.00 0.83 0.92 0.92

time (sec)

N/A 0.361 7.046 1.848 0.535 0.000 4.751 1.354 3.021

Problem 396

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 20 22 0 20 22 22

N.S.

1 1.00 1.08 0.83 0.92 0.00 0.83 0.92 0.92

time (sec)

N/A 0.954 3.538 1.684 0.530 0.000 97.627 1.374 2.763

Problem 397

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F(-1) F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

525 447 219 0 0 0 0 0 0

N.S.

1 0.85 0.42 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 5.055 0.595 0.000 0.000 0.000 0.000 0.000 0.000

Problem 398

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

316 217 144 0 0 0 0 0 0

N.S.

1 0.69 0.46 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.754 0.427 0.000 0.000 0.000 0.000 0.000 0.000

Problem 399

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F F(-2) F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

50 50 50 44 0 0 0 0 0

N.S.

1 1.00 1.00 0.88 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.214 0.044 0.556 0.000 0.000 0.000 0.000 0.000

Problem 400

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

24 24 26 20 22 0 20 22 22

N.S.

1 1.00 1.08 0.83 0.92 0.00 0.83 0.92 0.92

time (sec)

N/A 0.357 7.197 1.434 0.516 0.000 48.711 4.402 2.868

[next] [prev] [prev-tail] [front] [up]